Implication Graph
SATソルバ
において,各代入がどのように(他のどの代入から決められたのか)を示すグラフ
性質
DAG
である